ReP USP - Resultado da busca

Tese (Doutorado)
Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica (2021)
Lima, Guilherme Messias Pereira; Souza, Edelcio Gonçalves de (Orientador)
Unidade: FFLCH
Subjects: LÓGICA MODAL, METAFÍSICA, SEMÂNTICA, TOPOLOGIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LIMA, Guilherme Messias Pereira. Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica. 2021. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04072022-164934/. Acesso em: 30 abr. 2024.
APA
Lima, G. M. P. (2021). Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04072022-164934/
NLM
Lima GMP. Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica [Internet]. 2021 ;[citado 2024 abr. 30 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04072022-164934/
Vancouver
Lima GMP. Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica [Internet]. 2021 ;[citado 2024 abr. 30 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04072022-164934/
Trabalho de evento
Symbolic planning for strong-cyclic policies (2019)
Santos, Viviane M. Bonadia dos ; Barros, Leliane Nunes de ; Menezes, Maria Viviane de
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems (BRACIS). Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, SEMÂNTICA, LÓGICA MODAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Viviane M. Bonadia dos e BARROS, Leliane Nunes de e MENEZES, Maria Viviane de. Symbolic planning for strong-cyclic policies. 2019, Anais.. Piscataway: IEEE, 2019. Disponível em: https://doi.org/10.1109/BRACIS.2019.00038. Acesso em: 30 abr. 2024.
APA
Santos, V. M. B. dos, Barros, L. N. de, & Menezes, M. V. de. (2019). Symbolic planning for strong-cyclic policies. In Proceedings. Piscataway: IEEE. doi:10.1109/BRACIS.2019.00038
NLM
Santos VMB dos, Barros LN de, Menezes MV de. Symbolic planning for strong-cyclic policies [Internet]. Proceedings. 2019 ;[citado 2024 abr. 30 ] Available from: https://doi.org/10.1109/BRACIS.2019.00038
Vancouver
Santos VMB dos, Barros LN de, Menezes MV de. Symbolic planning for strong-cyclic policies [Internet]. Proceedings. 2019 ;[citado 2024 abr. 30 ] Available from: https://doi.org/10.1109/BRACIS.2019.00038
Dissertação (Mestrado)
A guilhotina de Hume sob uma perspectiva ontológica do fenômeno normativo: a decisão como verdadeiro poder-ser do direito (2016)
Rodrigues, Welson Haverton Lassali; Sólon, Ari Marcelo (Orientador)
Unidade: FD
Subjects: FILOSOFIA DO DIREITO, FENOMENOLOGIA, ONTOLOGIA, POSITIVISMO JURÍDICO, CRÍTICA, LÓGICA MODAL, DECISÃO JUDICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RODRIGUES, Welson Haverton Lassali. A guilhotina de Hume sob uma perspectiva ontológica do fenômeno normativo: a decisão como verdadeiro poder-ser do direito. 2016. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/2/2139/tde-14092016-162818/. Acesso em: 30 abr. 2024.
APA
Rodrigues, W. H. L. (2016). A guilhotina de Hume sob uma perspectiva ontológica do fenômeno normativo: a decisão como verdadeiro poder-ser do direito (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/2/2139/tde-14092016-162818/
NLM
Rodrigues WHL. A guilhotina de Hume sob uma perspectiva ontológica do fenômeno normativo: a decisão como verdadeiro poder-ser do direito [Internet]. 2016 ;[citado 2024 abr. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/2/2139/tde-14092016-162818/
Vancouver
Rodrigues WHL. A guilhotina de Hume sob uma perspectiva ontológica do fenômeno normativo: a decisão como verdadeiro poder-ser do direito [Internet]. 2016 ;[citado 2024 abr. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/2/2139/tde-14092016-162818/
Dissertação (Mestrado)
Topics in modal quantification theory (2015)
Salvatore, Felipe de Souza; Silva, Rodrigo Bacellar da Costa e (Orientador)
Unidade: FFLCH
Subjects: LÓGICA MODAL, FILOSOFIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SALVATORE, Felipe de Souza. Topics in modal quantification theory. 2015. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2015. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-14122015-122734/. Acesso em: 30 abr. 2024.
APA
Salvatore, F. de S. (2015). Topics in modal quantification theory (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-14122015-122734/
NLM
Salvatore F de S. Topics in modal quantification theory [Internet]. 2015 ;[citado 2024 abr. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-14122015-122734/
Vancouver
Salvatore F de S. Topics in modal quantification theory [Internet]. 2015 ;[citado 2024 abr. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-14122015-122734/
Trabalho de evento
Estudo dos corredores verdes europeus visando um transporte logístico sustentável: green corridors (2014)
Moura, Delmo Alves; Botter, Rui Carlos
Source: Anais. Conference titles: Congresso Nacional de Transporte Aquaviário, Construção Naval e Offshore. Unidade: EP
Subjects: TRANSPORTE MARÍTIMO, LÓGICA MODAL, SUSTENTABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MOURA, Delmo Alves e BOTTER, Rui Carlos. Estudo dos corredores verdes europeus visando um transporte logístico sustentável: green corridors. 2014, Anais.. Rio de Janeiro: Sobena, 2014. Disponível em: https://repositorio.usp.br/directbitstream/7806cf3b-8f5f-41d4-88c8-46608ddbd59a/Botter-2014-Estudo%20dos%20corredores%20ok.pdf. Acesso em: 30 abr. 2024.
APA
Moura, D. A., & Botter, R. C. (2014). Estudo dos corredores verdes europeus visando um transporte logístico sustentável: green corridors. In Anais. Rio de Janeiro: Sobena. Recuperado de https://repositorio.usp.br/directbitstream/7806cf3b-8f5f-41d4-88c8-46608ddbd59a/Botter-2014-Estudo%20dos%20corredores%20ok.pdf
NLM
Moura DA, Botter RC. Estudo dos corredores verdes europeus visando um transporte logístico sustentável: green corridors [Internet]. Anais. 2014 ;[citado 2024 abr. 30 ] Available from: https://repositorio.usp.br/directbitstream/7806cf3b-8f5f-41d4-88c8-46608ddbd59a/Botter-2014-Estudo%20dos%20corredores%20ok.pdf
Vancouver
Moura DA, Botter RC. Estudo dos corredores verdes europeus visando um transporte logístico sustentável: green corridors [Internet]. Anais. 2014 ;[citado 2024 abr. 30 ] Available from: https://repositorio.usp.br/directbitstream/7806cf3b-8f5f-41d4-88c8-46608ddbd59a/Botter-2014-Estudo%20dos%20corredores%20ok.pdf
Trabalho de evento
Toward the revision of CTL models through Kripke modal transition systems (2013)
Guerra, Paulo T; Andrade, Aline; Wassermann, Renata
Source: Proceedings. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME
Subjects: LÓGICA MODAL, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GUERRA, Paulo T e ANDRADE, Aline e WASSERMANN, Renata. Toward the revision of CTL models through Kripke modal transition systems. 2013, Anais.. Berlin: Springer, 2013. Disponível em: https://doi.org/10.1007/978-3-642-41071-0_9. Acesso em: 30 abr. 2024.
APA
Guerra, P. T., Andrade, A., & Wassermann, R. (2013). Toward the revision of CTL models through Kripke modal transition systems. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-41071-0_9
NLM
Guerra PT, Andrade A, Wassermann R. Toward the revision of CTL models through Kripke modal transition systems [Internet]. Proceedings. 2013 ;[citado 2024 abr. 30 ] Available from: https://doi.org/10.1007/978-3-642-41071-0_9
Vancouver
Guerra PT, Andrade A, Wassermann R. Toward the revision of CTL models through Kripke modal transition systems [Internet]. Proceedings. 2013 ;[citado 2024 abr. 30 ] Available from: https://doi.org/10.1007/978-3-642-41071-0_9
Trabalho de evento
Entailment multipliers: an algebraic characterization of validity for classical and modal logics (2010)
Finger, Marcelo ; Hernandes, Maruricio S. C
Source: Proceedings. Conference titles: International Workshop on Logic, Language, Information, and Computation - WoLLIC. Unidade: IME
Assunto: LÓGICA MODAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e HERNANDES, Maruricio S. C. Entailment multipliers: an algebraic characterization of validity for classical and modal logics. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-13824-9_1. Acesso em: 30 abr. 2024.
APA
Finger, M., & Hernandes, M. S. C. (2010). Entailment multipliers: an algebraic characterization of validity for classical and modal logics. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-13824-9_1
NLM
Finger M, Hernandes MSC. Entailment multipliers: an algebraic characterization of validity for classical and modal logics [Internet]. Proceedings. 2010 ;[citado 2024 abr. 30 ] Available from: https://doi.org/10.1007/978-3-642-13824-9_1
Vancouver
Finger M, Hernandes MSC. Entailment multipliers: an algebraic characterization of validity for classical and modal logics [Internet]. Proceedings. 2010 ;[citado 2024 abr. 30 ] Available from: https://doi.org/10.1007/978-3-642-13824-9_1
Relatorio tecnico
Caracterização da independência condicional em lógica modal (2010)
Arruda, Alexandre Matos; Finger, Marcelo
Unidade: IME
Assunto: LÓGICA MODAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARRUDA, Alexandre Matos e FINGER, Marcelo. Caracterização da independência condicional em lógica modal. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/9f86f673-234f-4298-b4e3-af23339bc564/1833681.pdf. Acesso em: 30 abr. 2024. , 2010
APA
Arruda, A. M., & Finger, M. (2010). Caracterização da independência condicional em lógica modal. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/9f86f673-234f-4298-b4e3-af23339bc564/1833681.pdf
NLM
Arruda AM, Finger M. Caracterização da independência condicional em lógica modal [Internet]. 2010 ;[citado 2024 abr. 30 ] Available from: https://repositorio.usp.br/directbitstream/9f86f673-234f-4298-b4e3-af23339bc564/1833681.pdf
Vancouver
Arruda AM, Finger M. Caracterização da independência condicional em lógica modal [Internet]. 2010 ;[citado 2024 abr. 30 ] Available from: https://repositorio.usp.br/directbitstream/9f86f673-234f-4298-b4e3-af23339bc564/1833681.pdf
Trabalho de evento-resumo
Funções modais (2010)
Falcão, Pedro; Loparic, Andréa Maria Altino de Campos (Orientador)
Source: Resumos. Conference titles: Encontro de Pós-Graduandos - EPOG. Unidade: FFLCH
Subjects: LÓGICA MODAL, LÓGICA (FILOSOFIA)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FALCÃO, Pedro. Funções modais. 2010, Anais.. São Paulo: FFLCH/USP, 2010. . Acesso em: 30 abr. 2024.
APA
Falcão, P. (2010). Funções modais. In Resumos. São Paulo: FFLCH/USP.
NLM
Falcão P. Funções modais. Resumos. 2010 ;[citado 2024 abr. 30 ]
Vancouver
Falcão P. Funções modais. Resumos. 2010 ;[citado 2024 abr. 30 ]
Dissertação (Mestrado)
Introdução à lógica modal (2009)
Coscarelli, Bruno Costa; Weiss, Maria Angela (Orientador)
Unidade: IME
Subjects: LÓGICA MATEMÁTICA, LÓGICA MODAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSCARELLI, Bruno Costa. Introdução à lógica modal. 2009. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2009. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17062009-161423/. Acesso em: 30 abr. 2024.
APA
Coscarelli, B. C. (2009). Introdução à lógica modal (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17062009-161423/
NLM
Coscarelli BC. Introdução à lógica modal [Internet]. 2009 ;[citado 2024 abr. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17062009-161423/
Vancouver
Coscarelli BC. Introdução à lógica modal [Internet]. 2009 ;[citado 2024 abr. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17062009-161423/
Trabalho de evento-resumo
Estudo de viabilidade da utilização do método modal para a determinação experimental das características físicas da maçã (2007)
Venanzi, Natalia Pistori; Velloso Júnior, Walter Ferreira (Orientador)
Source: 15. SIICUSP : resumos Agropecuária. Conference titles: Simpósio Internacional de Iniciação Científica da Universidade de São Paulo. Unidade: FZEA
Subjects: MAÇÃ (PROPRIEDADES FÍSICAS), LÓGICA MODAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VENANZI, Natalia Pistori. Estudo de viabilidade da utilização do método modal para a determinação experimental das características físicas da maçã. 2007, Anais.. São Paulo: USP, 2007. . Acesso em: 30 abr. 2024.
APA
Venanzi, N. P. (2007). Estudo de viabilidade da utilização do método modal para a determinação experimental das características físicas da maçã. In 15. SIICUSP : resumos Agropecuária. São Paulo: USP.
NLM
Venanzi NP. Estudo de viabilidade da utilização do método modal para a determinação experimental das características físicas da maçã. 15. SIICUSP : resumos Agropecuária. 2007 ;[citado 2024 abr. 30 ]
Vancouver
Venanzi NP. Estudo de viabilidade da utilização do método modal para a determinação experimental das características físicas da maçã. 15. SIICUSP : resumos Agropecuária. 2007 ;[citado 2024 abr. 30 ]
Trabalho de evento-anais periodico
Approximations of Modal Logic K (2006)
Rabello, Guilherme de Souza; Finger, Marcelo
Source: Electronic Notes in Theoretical Computer Science. Conference titles: Workshop on Logic, Language, Information and Computation - WoLLIC. Unidades: IME, IF
Assunto: LÓGICA MODAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RABELLO, Guilherme de Souza e FINGER, Marcelo. Approximations of Modal Logic K. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.entcs.2005.04.040. Acesso em: 30 abr. 2024. , 2006
APA
Rabello, G. de S., & Finger, M. (2006). Approximations of Modal Logic K. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. doi:10.1016/j.entcs.2005.04.040
NLM
Rabello G de S, Finger M. Approximations of Modal Logic K [Internet]. Electronic Notes in Theoretical Computer Science. 2006 ; 14 171-184.[citado 2024 abr. 30 ] Available from: https://doi.org/10.1016/j.entcs.2005.04.040
Vancouver
Rabello G de S, Finger M. Approximations of Modal Logic K [Internet]. Electronic Notes in Theoretical Computer Science. 2006 ; 14 171-184.[citado 2024 abr. 30 ] Available from: https://doi.org/10.1016/j.entcs.2005.04.040
Trabalho de evento
How not to combine modal logics (2005)
Fajardo, Rogério Augusto dos Santos ; Finger, Marcelo
Source: Proceedings. Conference titles: Indian International Conference on Artificial Intelligence - IICAI. Unidade: IME
Subjects: LÓGICA MODAL, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FAJARDO, Rogério Augusto dos Santos e FINGER, Marcelo. How not to combine modal logics. 2005, Anais.. Tallahassee: IICAI, 2005. . Acesso em: 30 abr. 2024.
APA
Fajardo, R. A. dos S., & Finger, M. (2005). How not to combine modal logics. In Proceedings. Tallahassee: IICAI.
NLM
Fajardo RA dos S, Finger M. How not to combine modal logics. Proceedings. 2005 ;[citado 2024 abr. 30 ]
Vancouver
Fajardo RA dos S, Finger M. How not to combine modal logics. Proceedings. 2005 ;[citado 2024 abr. 30 ]
Trabalho de evento
Combinações de lógicas modais não-normais (2003)
Fajardo, Augusto Rogério dos Santos; Finger, Marcelo
Source: Alguns Tabalhos do IME-USP para o 10o. SIICUSP. Conference titles: Simpósio Internacional de Iniciação Científica da USP. Unidade: IME
Assunto: LÓGICA MODAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FAJARDO, Augusto Rogério dos Santos e FINGER, Marcelo. Combinações de lógicas modais não-normais. 2003, Anais.. São Paulo: IME-USP, 2003. . Acesso em: 30 abr. 2024.
APA
Fajardo, A. R. dos S., & Finger, M. (2003). Combinações de lógicas modais não-normais. In Alguns Tabalhos do IME-USP para o 10o. SIICUSP. São Paulo: IME-USP.
NLM
Fajardo AR dos S, Finger M. Combinações de lógicas modais não-normais. Alguns Tabalhos do IME-USP para o 10o. SIICUSP. 2003 ;[citado 2024 abr. 30 ]
Vancouver
Fajardo AR dos S, Finger M. Combinações de lógicas modais não-normais. Alguns Tabalhos do IME-USP para o 10o. SIICUSP. 2003 ;[citado 2024 abr. 30 ]
Artigo de periodico
Combining temporal logic systems (1996)
Finger, Marcelo ; Gabbay, Dov
Source: Notre Dame Journal of Formal Logic. Unidade: IME
Assunto: LÓGICA MODAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e GABBAY, Dov. Combining temporal logic systems. Notre Dame Journal of Formal Logic, v. 37, n. 2, p. 204-232, 1996Tradução . . Disponível em: https://doi.org/10.1305/ndjfl/1040046087. Acesso em: 30 abr. 2024.
APA
Finger, M., & Gabbay, D. (1996). Combining temporal logic systems. Notre Dame Journal of Formal Logic, 37( 2), 204-232. doi:10.1305/ndjfl/1040046087
NLM
Finger M, Gabbay D. Combining temporal logic systems [Internet]. Notre Dame Journal of Formal Logic. 1996 ; 37( 2): 204-232.[citado 2024 abr. 30 ] Available from: https://doi.org/10.1305/ndjfl/1040046087
Vancouver
Finger M, Gabbay D. Combining temporal logic systems [Internet]. Notre Dame Journal of Formal Logic. 1996 ; 37( 2): 204-232.[citado 2024 abr. 30 ] Available from: https://doi.org/10.1305/ndjfl/1040046087

USP Schools

ReP

Filtros

Document Types

USP Schools

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles